last($P$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(TERMOF\{es{-}interface{-}local{-}pred{-}bool:ObjectId, 1:l, i:l\}(${\it es}$,$P$)).1